string empty_string
string def_string "Hello world!"
string<=22 ub_string
string<=22 ub_def_string "Upper bounded string."
